Проверка Дифференциального Автомата